Formal model-driven engineering of critical information systems
نویسندگان
چکیده
منابع مشابه
Formal model-driven engineering of critical information systems
Article history: Received 17 June 2013 Received in revised form 11 November 2014 Accepted 12 November 2014 Available online xxxx
متن کاملInformation systems engineering - a formal approach
Of course, from childhood to forever, we are always thought to love reading. It is not only reading the lesson book but also reading everything good is the choice of getting new inspirations. Religion, sciences, politics, social, literature, and fictions will enrich you for not only one aspect. Having more aspects to know and understand will lead you become someone more precious. Yea, becoming ...
متن کاملTowards Requirements-Driven Information Systems Engineering
Information systems of the future will have to better match their operational organizational environment. Unfortunately, development methodologies have traditionally been inspired by programming concepts, not organizational ones, leading to a semantic gap between the system and its environment. To reduce as much as possible this gap, this paper proposes a development methodology named Tropos wh...
متن کاملModel-driven Engineering of Component Systems
While distributed object computing (DOC) middleware like CORBA and Java RMI were a significant improvement over prior middleware for developing distributed systems, there are significant limitations with DOC middleware. These include the inability to provide multiple alternate views of services on a per-client basis, inability to navigate between interfaces in a standardized fashion, low-level ...
متن کاملFormal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems
Safety requirements are a very important artifact in the development of safety critical embedded systems. They are usually identified during safety analyses and are used by experts as a basis for the correct selection and implementation of safety mechanisms. Various safety analysis research groups have worked on formal modeling of safety requirements with the goal of determining if a system can...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2015
ISSN: 0167-6423
DOI: 10.1016/j.scico.2014.11.004